A New Löwenheim-skolem Theorem
نویسندگان
چکیده
This paper establishes a refinement of the classical LöwenheimSkolem theorem. The main result shows that any first order structure has a countable elementary substructure with strong second order properties. Several consequences for Singular Cardinals Combinatorics are deduced from this.
منابع مشابه
The Philosophical Implications (if any) of the Löwenheim-Skolem Theorem
The Philosophical Implications (if any) of the Löwenheim-Skolem Theorem by Peter Hollo This paper examines the implications of the Löwenheim-Skolem Theorem for philosophy of mathematics, philosophy of language, and more broadly philosophy of science. Background theory and some justification for the issues in the thesis are given first, followed by a largely constructive proof of the Theorem. Th...
متن کاملCompactness and Löwenheim–skolem Properties in Categories of Pre-institutions
The abstract model-theoretic concepts of compactness and Löwenheim–Skolem properties are investigated in the “softer” framework of pre-institutions [18]. Two compactness results are presented in this paper: a more informative reformulation of the compactness theorem for pre-institution transformations, and a theorem on natural equivalences with an abstract form of the first-order pre-institutio...
متن کاملOn Löwenheim-Skolem-Tarski numbers for extensions of first order logic∗
We show that, assuming the consistency of a supercompact cardinal, the first (weakly) inaccessible cardinal can satisfy a strong form of a Löwenheim-Skolem-Tarski theorem for the equicardinality logic L(I), a logic introduced in [4] strictly between first order logic and second order logic. On the other hand we show that in the light of present day inner model technology, nothing short of a sup...
متن کاملSkolem Odd Difference Mean Graphs
In this paper we define a new labeling called skolem odd difference mean labeling and investigate skolem odd difference meanness of some standard graphs. Let G = (V,E) be a graph with p vertices and q edges. G is said be skolem odd difference mean if there exists a function f : V (G) → {0, 1, 2, 3, . . . , p + 3q − 3} satisfying f is 1−1 and the induced map f : E(G) → {1, 3, 5, . . . , 2q−1} de...
متن کاملA Skolem-mahler-lech Theorem in Positive Characteristic and Finite Automata
Lech proved in 1953 that the set of zeroes of a linear recurrence sequence in a field of characteristic 0 is the union of a finite set and finitely many infinite arithmetic progressions. This result is known as the Skolem-Mahler-Lech theorem. Lech gave a counterexample to a similar statement in positive characteristic. We will present some more pathological examples. We will state and prove a c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005